class Foo {
	void m1() {
		int x;
		do {
			x = 1;
		} while (true);
	}
}